#include<cstdio>
#include<iostream>
using namespace std;

int main(){
    int A, B, C;
    cin >> A >> B >> C;
    cout << A * 0.2 + B * 0.3 + C * 0.5;
    return 0;
}